Predicate logic - PDFSEARCH.IO - Document Search Engine

Predicate logic
Results: 1102

#	Item
131	MATH33001 Two hours UNIVERSITY OF MANCHESTER PREDICATE LOGIC Add to Reading List Source URL: www.maths.manchester.ac.uk Language: English - Date: 2011-11-18 09:20:15
132	Reducing the Barriers to Writing Verified Specifications Todd W. Schiller Michael D. Ernst University of Washington Add to Reading List Source URL: homes.cs.washington.edu Language: English - Date: 2012-08-23 11:19:39 Theoretical computer science Formal methods Software engineering Computing Logic in computer science Java Modeling Language Postcondition Extended static checking Predicate transformer semantics ESC/Java Precondition KeY
133	MATH43001Two and a half hours THE UNIVERSITY OF MANCHESTER PREDICATE LOGIC Add to Reading List Source URL: www.maths.manchester.ac.uk Language: English - Date: 2012-08-02 08:27:51
134	Anytime Inference in Probabilistic Logic Programs with TP -Compilation Jonas Vlasselaer, Guy Van den Broeck, Angelika Kimmig, Wannes Meert, Luc De Raedt Department of Computer Science KU Leuven, Belgium firstname.lastnam Add to Reading List Source URL: lirias.kuleuven.be Language: English - Date: 2015-11-20 04:37:18 Model theory Predicate logic Markov logic network Rules of inference Probabilistic logic Stable model semantics Resolution First-order logic Atomic formula Propositional calculus FO Inference
135	arXiv:1507.02456v1 [cs.AI] 9 Jul 2015 Add to Reading List Source URL: arxiv.org Language: English - Date: 2015-07-09 20:33:34 Graphical models Mathematics Logic Mathematical logic First-order logic Model theory Predicate logic Abox Eval Bayesian network Ring Markov random field
136	Representing Aggregators in Relational Probabilistic Models David Buchman⇤ Department of Computer Science University of British Columbia Vancouver, BC, Canada Add to Reading List Source URL: www.cs.ubc.ca Language: English - Date: 2014-11-23 13:34:56 Model theory Predicate logic Statistical models Regression analysis Probability theory Bayesian network Exchangeable random variables FO Type Expected value Joint probability distribution Quantifier
137	1. Introduction: *DRAFT* @K.J.Smith, 2008. http://www.KJSmith.net 1.1 Propositional and predicate logic: [adapted from 5, 6, 8, 11, 12, 14] A propositional (zeroth-order) formula is a well-formed combination of atom Add to Reading List Source URL: project.kjsmith.net Language: English - Date: 2008-07-21 03:25:50
138	Typed Meta-Interpretive Learning for Proof Strategies Colin Farquhar, Gudmund Grov, Andrew Cropper, Stephen Muggleton & Alan Bundy Add to Reading List Source URL: www.ai4fm.org Language: English - Date: 2015-09-02 07:29:35 Grammar Linguistics Mathematical logic Syntax FO Finite model theory Argument Lambda calculus Predicate Functional predicate
139	Clean Mapping: A sketchy story about how conceptual structure could shape language acquisition and some evidence suggesting that it just might be true Jesse Snedeker Add to Reading List Source URL: software.rc.fas.harvard.edu Language: English - Date: 2015-07-01 13:32:13 Logic Semantics Grammar Linguistics Cognitive science Ray Jackendoff Syntax Theta role Predicate
140	Cruanes, Heymans, Mason, Owre, and Shankar The Semantics of Datalog for the Evidential Tool Bus? (Extended Abstract) Simon Cruanes1 , Stijn Heymans2 , Ian Mason3 , Sam Owre3 , and Natarajan Add to Reading List Source URL: stijnheymans.net Language: English - Date: 2015-12-05 16:07:35 Predicate logic Mathematical logic Propositional calculus Automated theorem proving Query languages Datalog Prolog Logic programming Ground expression Horn clause Substitution First-order logic

UPDATE